4.7k 词
第一章 函数 极限 连续函数是一切的基础,但与高中数学区别不大。 极限是最重要的难点,求极限是高等数学三大基本运算:求极限,求导,求积分的基础。 连续是根据极限定义的,对求导、求积分和微分中值定理都很重要。 函数初等函数在其定义区间(注意:不是定义域内,因为可能定义域本身不连续)内一定连续。 初等函数定义:由常数和基本初等函数经过有限次的加、减、乘、除和复合所得到,且能用一个解析式表示的函数称为初等函数。 基本初等函数:幂函数,指数,对数,三角,反三角这五类函数。 极限概念主要题型: 极限概念性质与存在准则 求极限 无穷小量阶的比较 数列极限$$\lim\limits_{x\to\infty}x_n=a$$ 定义:对任意正数ε > 0,总存在正数N > 0,使当n > N时,恒有|x_n - a| < ε。 此时,在a的邻域(a-ε, a+ε)内,有无限多个数,但在这个邻域以外,只有有限个数。 注: 数列极限与该数列的前有限项无关 如果数列{a_n}的极限是A,则其任意子数列的极限也是A,例如{a_2n}和{a_2n-1}。(但反过来不...
5k 词
这学期选了一门叫《硬件安全设计与检测》的课,本以为是研究固件或者Iot安全(其实这个也很有趣),没想到居然是讲密码算法侧信道分析的,这是科研级别的内容,有个专门的研究领域。通过物理手段分析密码算法,听起来就很离谱,实际上也确实如此。听过才知道,侧信道这领域比想象的要复杂和有趣得多。 密码学与侧信道分析密码学分为两个大类:密码编码学与密码分析学。前者其实就是离散数学的应用,研究如何构造高效安全的密码算法。例如基于大素数分解困难的RSA不对称加密算法,或者DES对称密码算法。后者则是反过来,研究如何对现有的密码算法做攻击,根据掌握信息的多少又分为唯密文攻击、选择明文攻击等各种分类。攻防两端相互矛盾又相互促进。 侧信道分析就属于密码分析学,而且大概是其中最不讲理、最乱来的一个。密码分析学的大部分工作都在与数学打交道,侧信道分析则完全不同,它的基础建立在一条简单的原理上: 无论何种密码算法,都一定要运行在某种硬件环境中。 而一切硬件,都会在运行时,根据输入输出数据的不同而泄露不同的物理信息,例如时间,功耗和电磁辐射。 如果这种物理信息能建立起与密码算法执行指令IO的联系,就能反过来推导...
ACG
1.5k 词
ポピパ的沙綾与CryChic的祥子第一季saaya篇就如同祥子篇的简化HE版,虽然是完全不同的故事实现,但剧情逻辑设计的一致的:都是由外部原因引发,但最终矛盾的不可避免,却是完全源于内在的性格。 saaya和祥子都是温柔的人,但却也都是有性格缺陷,自我意识极强的人。saaya因为家庭原因错过最重要的live,真正让她伤心的不只是失去实现梦想的机会,而是队友强颜欢笑的安慰。给乐队造成干扰本身的罪恶感,比实际上干扰的影响更让saaya难以接受。 然而同样温柔的队友,却无法理解温柔的saaya。两边的误解逐渐加深,saaya自然找不到自己继续留在乐队的理由,就此彼此分道扬镳。 而祥子的故事也是如出一辙。曾经的自己建立的乐队,却失去了过去的自己。同样因为家庭变故,对祥子而言,比起变故本身对乐队的影响,更无法接受的是与过去完全不同的自己,他人的同情与怜悯只会让自己更清楚自己的软弱,加深对现实的无力与痛苦。所以无法当做一切正常,比起竭力挽留过去的羁绊,维持表面的和平,选择亲手斩断曾经自己的幸福。 其实想想,难道saaya真的没办法继续自己的乐队梦想吗?当然有办法啊,香澄也说过,如果需要经常照...
Web
957 词
Bilibili网页端视频弹幕Bug在弹幕为繁体字时,会对其中某些字做转换: 环境:Windows10 + Chrome 其他测试: Win10下Edge与Chrome测试相同,Firefox没有出现。 Linux下没有出现 Win11下测试Chrome和Edge均未出现 发现的转换: “愛”和”脸” 1E6 84 9B => E8 84 B8 “時”和”瘦” 1E6 99 82 => E7 98 82 “團”和”酥” 1E5 9C 98 => E9 85 A5 UTF-8与Unicode当我们谈论字符编码时,我们通常需要区分两个概念:Unicode 编码和字符在计算机内存中的实际表示方式。 Unicode 编码:Unicode 是一个字符集,它为世界上几乎所有的字符都分配了唯一的标识号,称为 Unicode 码点。这些码点通常用 U+XXXX 的形式表示,其中 XXXX 是一个十六进制数。比如,U+7231 表示「愛」这个字符在 Unicode 中的编码。 UTF-8 编码:UTF-8 是一种针对 Unicode 的可变长度字符编码。它将...
630 词
所有学过高数的大学生都知道,如果在极限式中出现了乘除形式的等价无穷小(其实加减形式也可以用,但有条件),可以非常方便地直接替换化简。不过究竟是为什么呢? 课本上的描述很形象,因为两个无穷小在趋近于0时表现相同,所以可以替换,但让人更加迷惑,什么是表现相同呢?说到底,无穷小的阶到底是什么?更关键的问题在于:究竟如何求得一个表达式的等价无穷小。 等价无穷小的证明很容易: $$\lim\limits_{x\to0}\frac{u(x)}{v(x)}=1$$求出这个比值极限,为1则说明是等价无穷小。例如: $$\lim\limits_{x\to0}\frac{\sin\x}{x} = 1$$ $$\lim\limits_{x\to0}\frac{1-\cos\x}{\frac{1}{2} \times x^2} = 1$$ 也可写作: $$x\thicksim\arctan x \thicksim \sin\ x \thicksim \tan x \thicksim \ln{(x+1)} \thicksim e^x-1 \thicksim \arcsin x...
ACG
2k 词
VOCALOID的灵魂:纯粹与自由VOCALOID是最纯粹最美丽的音乐形式,我一直如此相信。就算在最原教旨主义的阿宅眼中,初音的歌声也是来自另一个次元的,最单纯的二次元之音。 为什么VOCALOID是最美丽的音乐呢?因为一般的音乐制作,需要从作词作曲到编曲演唱的多个环节,而如果这些环节分为不同的人来完成,最后制作出的是各个创作者的思考相互博弈与妥协调和的结果,而不是最开始想要传达的感情。试想,歌手怎么可能完全理解到编曲者的想法呢?编曲者又如何完全理解作词家的思路呢? VOCALOID打破了这一切限制,让每个人都能创作出自己的音乐,而且最后创作出的歌曲,也正是创作者(producer)为未经歪曲的最开始想要传达之物。所以V家的第一个歌姬名叫初音(Hatsune),创作出真正的初始之音,真是很美的名字。 VOCALOID的灵魂是同人文化。而这种同人文化作为世纪初的同人三大奇迹之一,与月姬与东方都完全不同的是,其真正的核心却不是丰富多彩的设定与漂亮的人设,而是创作者的纯粹与自由。 创作者遵循内心的热情,倾注才华与爱创作V曲,而不是迎合大众,是VOCALOID最纯粹的美;而关心无人在意的...
ACG
3.1k 词
前言最不待见偶像动画的群体,应该就是英语圈的欧美Anime Fans了。自诩婆罗门、几乎每个季度都看完全部新番的gigguk,在2023动画年度盘点居然都完全没提到MyGO就是证据。不过是为什么呢? 简单思考一下可以猜到,与如此热衷于爱抖露动画的中国人和日本人不同,欧美人对跨次元企划和爱抖露文化都毫无兴趣,根源在鬼佬的宗教传统。 宗教在今天的中国人看来是愚昧的代名词,但实际上并非如此,现代人灾难的核心,都与宗教息息相关。最先发现这个问题的是生活在十九世纪末的德国人尼采,在现代科学与制度高歌猛进的时代,尼采敏感地发现了虚无主义的危机。因为任何价值都无法为其自身赋予价值,钻石无法给钻石定价,善良、忠诚和笃信也无法给自己赋予价值,只有超越的存在(supernature beings)才能做到支持最高价值的价值。 而这种超越的存在,在欧美人看来,正是自罗马以来的基督宗教传统。虽然这种传统在发展中遭到中世纪人的扭曲,这种扭曲来自人为的强制性宗教,看似扩大了天主教的影响力,实际上却从根本上摧毁了宗教的根基。如同道德一般,宗教是只关乎于人的内心、只关于人与上帝的某种东西,如果被强制裹挟,只会变...
ACG
2k 词
Opening 御宅文化是现代消费主义的产物,但御宅精神却由来已久,或者说Geek/极客精神更准确吧。把没什么特别的事物奉为圭臬,认真对待他人看来没有价值的东西,才是阿宅的灵魂。 但如果所有阿宅都如此,也就难有御宅文化的蓬勃发展了。因为极客精神并不包含凭空创造的需求,只有理性、爱与节制而已,并不足以给创作者提供超出其投入的回报。所以,从古至今,如何让文学奖,艺术家,开发者可持续地工作下去,而不是为爱发电,是非常复杂的问题。 那么如何让阿宅付钱呢?毫无疑问需要包含两方面含义,即既能让创作者获取报酬,又能让阿宅得到不付钱不能得到的乐趣。创造某种可持续的激励机制,是御宅文化的核心问题。 日本人很聪明,用周边和IP价值实现了完整的产业链,塑造了二次元文化的繁荣。而有利可图的良性循环又会吸引外部投资,导致御宅文化被消费主义所侵蚀。试想,周边谷子(goods)文化真的是阿宅内心的需求吗?这实在不是很有趣的事。 阿宅们美妙而纯粹的幻想乌托邦中,掺入了现实的光影。但这也是无可避免的necessary evil。 互联网的发展让现实与幻想不再泾渭分明,也让这种掺杂愈发复杂。由来已久的偶像...
6.2k 词
Hook基础Hook的概念无需多言,简单来讲就是监听某个API函数,来对这个函数做相关操作,之后再跳转回到原本的函数继续执行。 两种Hook方式Hook的方式有inline和address两种。 inline Hook即内联Hook,直接在要Hook的函数处修改机器码,让程序执行跳转到我们写好的地址,来执行我们的函数,执行完后再跳转回到原函数处执行。 address Hook即通过修改call的地址实现Hook。然后修改地址处的代码,执行完我们写好的代码后再跳转回到原本的函数。 实际上两种方式是一样的。 两种跳转JMP(E9)与CALL(E8)的区别Hook的基础是跳转,有两种汇编指令实现,分别是jmp与call。 Callcall在执行时会改变ESP和EIP寄存器的值,并将call指令的下一条指令的地址压入栈中。 如果使用call,因为会改变栈,所以有两种解决: 直接在call完后加一条popad指令,将入栈的地址弹出 在call之前对栈指针ESP做操作,加一条ADD esp,4(32位地址),就可以将ESP指针修改回来。 Jmpjmp更简单粗暴,跳转对寄存器没有改变。 但...
3.3k 词
1. 引言Galgame是美丽而独特的游戏形式,我一直如此相信着。但长文本时代已经日薄西山,Galgame业界江河日下。优秀的作品减少,爱好者和社区自然也凋零。对中国阿宅来说,更重要的是汉化组不像以往那样百花齐放了。而Galgame汉化,又比动画漫画轻小说更复杂,除了需要懂日语的人,还需要程序员,从解包到汉化到校对到封包,是件相当麻烦的事。 很凑巧的是,我刚好了解与Galgame逆向相关的知识,所以希望自己能为社区建设贡献微小的力量,因此仿照MisakaHookerFinder的功能写了类似的文本提取器。经过测试,在某些游戏上(例如秽翼的尤斯蒂娅),有更好的效果。但当然Bug更多,如果有人对inline Hook或者Win32编程感兴趣,可以看下下文的实现原理介绍,代码中我也写了详细的注释。 Have fun:) 不过在跨年夜写代码推Gal,还真是孤独的夜晚啊。 2. 相关技术简介2.1 Win32 APIWindows是Windows操作系统,也是一个应用程序,Windows 提供了不同的服务,这些服务通过一些特定的方式进行调用、使用;这些服务可能是 开启一个窗口、打开一个应用...